Nuprl Definition : ma-interface-info
11,40
postcript
pdf
ma-interface-info(
I
;
i
;
k
) ==
I
(
i
).2(
k
)
latex
clarification:
ma-interface-info(
I
;
i
;
k
) ==
I
IdDeq(
i
).2KindDeq(
k
)
latex
Definitions
t
.2
,
f
(
x
)
,
IdDeq
,
KindDeq
FDL editor aliases
ma-interface-info
origin